An optimal statistical testing policy for software reliability demonstration of safety-critical systems
نویسندگان
چکیده
When software reliability demonstration of safety-critical systems by statistical testing is treated as a TAAF (Test, Analyse and Fix) process, an optimal testing policy can be found, which maximises the probability of success of the whole process, over a predetermined period of time. The optimisation problem is formulated, solved by stochastic dynamic programming, and demonstrated by two numerical examples.
منابع مشابه
Reliability demonstration for safety-critical systems
This paper suggests a new model for reliability demonstration of safety-critical systems, based on the TRW Software Reliability Theory. The paper describes the model; the test equipment required and test strategies based on the various constraints occurring during software development. The paper also compares a new testing method, Single Risk Sequential Testing (SRST), with the standard Probabi...
متن کاملReliability Demonstration Testing for Continuous-Type Software Products Based on Variation Distance
Reliability demonstration testing for software products is performed for the purpose of examining whether the specified reliability is realized in the software after the development process is completed. This study proposes a model of reliability demonstration testing for continuous-type software such as that for controlling production lines and operating systems of computers. Testing time and ...
متن کاملSoftware Safety Demonstration and Idemnification
In cyber-physical systems, software may control safety-significant operations. This report discusses a method to structure software testing to measure the statistical confidence that algorithms are true to their intended design. The subject matter appears in two main parts: theory, which shows the relationship between discrete systems theory, software, and the actuated automaton; and applicatio...
متن کاملDamage Size and Software Safety Demonstration Stress Testing
Software safety testing focuses on whether safety-critical software under test fulfills corresponding safety specifications. But unfortunately, it is very difficult to test software safety by using traditional operational reliability demonstration testing methods. The main reason is that different failures may have different impacts on safety. Damage size of a failure is a classified measuremen...
متن کاملAn Optimal Preventive Maintenance Model to Enhance Availability and Reliability of Flexible Manufacturing Systems
General preventive maintenance model for the components of a system, which improves the reliability to ‘as good as new,’ was used to optimize the maintenance cost. The cost function of a maintenance policy was minimized under given availability constraint. On the other hand, in order to ensure appropriate reliability and availability, the development of the optimal maintenanc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- European Journal of Operational Research
دوره 137 شماره
صفحات -
تاریخ انتشار 2002